1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
4. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
5. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
6. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
7. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
8. Algorithmics : Theory and practice
پدیدآورنده : / Gilles Brassard, Paul Bratley
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Recursion theory,Algorithems
رده :
QA9
.
6
.
B73
1988
9. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
10. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilless
موضوع : ، Recursion theory,، Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
11. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
13. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
14. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
15. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
16. Aspects of incompleteness
پدیدآورنده : Lindstrom, Per, 6391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Incompleteness theorems,، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
10
17. Aspects of incompleteness
پدیدآورنده : / Per Lindstrom
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Incompleteness theorems,Recursion theory
رده :
QA
9
.
65
.
L56
1997
18. Bounded queries in recursion theory
پدیدآورنده : Gasarch, William I.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
19. Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده : edited by A. S. Kedris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
839
20. Cabal Seminar 81-85 : Proceedings, Caltech-UCLA Logic Seminar 1981-85
پدیدآورنده : A. S. Kechris, D. A. Martin, J. R. Steel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1333
